if a then not b

n."与非"门